To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video |
|
Author |
Muhammad Atif, Nadia Mushtaq, M. Sohaib Mahmood, Muhammad Naeem, Amjad Riaz |
| Citation |
Vol. 18 No. 3 pp. 110-118 |
|
Keywords |
Multicasting Video/Audio, Formal Specification, Model Checking, Packet Recovery protocol, QoS in Multimedia Transmissions. |
|
Title |
|
|
Author |
Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan |
| Citation |
Vol. 24 No. 4 pp. 192-196 |
|
Keywords |
Virtual memory, Distributed Algorithm, Formal Specification, Verification. |
